$\forall$$a$,$b$:fpf((:Knd $\times$ Id); ${\it kz}$.top), $z$:Id.
\\[0ex]($z$ $\in$ update{-}spec{-}vars(update{-}spec{-}join($a$; $b$)))
\\[0ex]$\Leftarrow\!\Rightarrow$ (($z$ $\in$ update{-}spec{-}vars($a$)) $\vee$ ($z$ $\in$ update{-}spec{-}vars($b$)))